形式言語

けいしきげんご【形式言語】

生成文法が対象とする， 数学的な文法規則により生成される抽象的言語。